Roadmap for preferential logics

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Roadmap for preferential logics

4 Preferential structures 28 4.1 General and smooth preferential structures . . . . . . . . . . . . . . . . . 28 4.1.1 Definitions and basics . . . . . . . . . . . . . . . . . . . . . . . . . 28 4.1.2 Representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 [email protected], www.dcs.kcl.ac.uk/staff/dg Department of Computer Science, King’s College London, Strand, London WC2...

متن کامل

A ug 2 00 8 Roadmap for preferential logics

4 Preferential structures 28 4.1 General and smooth preferential structures . . . . . . . . . . . . . . . . . 28 4.1.1 Definitions and basics . . . . . . . . . . . . . . . . . . . . . . . . . 28 4.1.2 Representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 [email protected], www.dcs.kcl.ac.uk/staff/dg Department of Computer Science, King’s College London, Strand, London WC2...

متن کامل

Preferential Reasoning for Modal Logics

Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed by Lehmann and colleagues would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accep...

متن کامل

Preferential Description Logics

We extend the Description Logic ALC with a “typicality” operator T that allows us to reason about the prototypical properties and inheritance with exceptions. The resulting logic is called ALC +T. The typicality operator is intended to select the “most normal” or “most typical” instances of a concept. In our framework, knowledge bases may then contain, in addition to ordinary ABoxes and TBoxes,...

متن کامل

Semantic Foundation for Preferential Description Logics

Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence. Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning as developed by Lehmann and colleagues in the 90’s, would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accept...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Applied Non-Classical Logics

سال: 2009

ISSN: 1166-3081,1958-5780

DOI: 10.3166/jancl.19.43-95